Orna Grumberg: Z-library saytında axtarmaq

İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında

Bilik və mədəniyyətə sərbəst giriş.

İanələr 15 sentyabr 2024 – 1 oktyabr 2024

Z-Library - 17,000,000-dan çox kitab və 84,837,000-dan çox məqalə ibarət olan dünyanın ən böyük onlayn kitabxanalarından biridir. Biz ədəbiyyatı hər kəs üçün əlçatan etməyə çalışırıq. Bu gün (15 sentyabr 2024) biz layihəyə dəstək və onun inkişafı üçün yeni əlavə ianə yığımı açırıq.

Həmçinin məbləğədək vəsaitin toplanması müddəti ərzində ianələr etmiş bütün istifadəçilər üçün LİMİTSİZ1 oktyabr 2024 yükləmələr də (ianə etdiyiniz gündən etibarən 31 gün ərzində) əlçatan olacaqdır.

Vəsaitlərin toplanılması haqqındaDaha ətraflı

Kitablar (16)
Ən məşhurları
Siyahı
- Siyahı
- Cədvəl

1

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

İl:

1999

Dil:

english

Fayl:

DJVU, 1.88 MB

0 / 0

english, 1999

2

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

İl:

2018

Dil:

english

Fayl:

EPUB, 15.52 MB

0 / 5.0

english, 2018

3

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

İl:

2018

Dil:

english

Fayl:

EPUB, 13.56 MB

0 / 0

english, 2018

4

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

İl:

2008

Dil:

english

Fayl:

PDF, 41.36 MB

0 / 0

english, 2008

5

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

İl:

1999

Dil:

english

Fayl:

DJVU, 3.22 MB

0 / 0

english, 1999

6

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller

İl:

2008

Dil:

english

Fayl:

PDF, 1.73 MB

0 / 0

english, 2008

7

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 3.72 MB

0 / 0

english, 2009

8

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

İl:

2007

Dil:

english

Fayl:

PDF, 8.60 MB

0 / 0

english, 2007

9

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

İl:

1999

Dil:

english

Fayl:

DJVU, 2.13 MB

0 / 0

english, 1999

10

Dependable software systems engineering

Dependable software systems engineering

Ios Pr Inc; IOS Press

Esparza, Javier(Editor), Grumberg, Orna(Editor), Sickert, Salomon(Editor)

İl:

2016

Dil:

english

Fayl:

PDF, 5.91 MB

5.0 / 0

english, 2016

11

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

F. Erich Marschner (auth.), Orna Grumberg (eds.)

İl:

1997

Dil:

english

Fayl:

DJVU, 5.29 MB

0 / 0

english, 1997

12

25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Springer Berlin Heidelberg

Grumberg, Orna., Veith, Helmut

İl:

2008

Dil:

english

Fayl:

PDF, 42.39 MB

0 / 5.0

english, 2008

13

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

İl:

2007

Dil:

english

Fayl:

PDF, 8.60 MB

0 / 4.0

english, 2007

14

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.)

İl:

1995

Dil:

english

Fayl:

DJVU, 3.20 MB

0 / 0

english, 1995

15

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 3.63 MB

0 / 0

english, 2009

16

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

İl:

2008

Dil:

english

Fayl:

DJVU, 4.00 MB

0 / 0

english, 2008